properties of vector space